Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
DBtk: A Toolkit for Directed Bigraphs
2009-01-01 Bacci, G; Grohmann, D; Miculan, Marino
Decidability of MSO Theories of Tree Structures
2004-01-01 Montanari, Angelo; Puppis, Gabriele
Decidability of the interval temporal logic AA*BB* over the rationals
2014-01-01 Montanari, Angelo; Puppis, G; Sala, P.
Decision Trees with a Modal Flavor
2023-01-01 Della Monica, D.; Pagliarini, G.; Sciavicco, G.; Stan, I. E.
Deep Autoencoder Ensembles for Anomaly Detection on Blockchain
2020-01-01 Scicchitano, F.; Liguori, A.; Guarascio, M.; Ritacco, E.; Manco, G.
Different rankers on different subcollections
2015-01-01 Jones, Timothy; Scholer, Falk; Turpin, Andrew; Mizzaro, Stefano; Sanderson, Mark
E-mail on the move: Categorization, filtering, and alerting on mobile devices with the ifMail prototype
2004-01-01 Cignini, M; Mizzaro, Stefano; Tasso, Carlo; Virgili, A.
EasyAnalyzer: an object-oriented framework for the analysis of stochastic local search algorithms
2007-01-01 DI GASPERO, Luca; Roli, Andrea; Schaerf, Andrea
Ecosystem Services Along the Urban-Rural-Natural Gradient: An Approach for a Wide Area Assessment and Mapping
2015-01-01 Vizzari, M.; Antognelli, S.; Hilal, M.; Sigura, Maurizia; Joly, D.
Egocentric object tracking: An odometry-based solution
2015-01-01 Alletto, Stefano; Serra, Giuseppe; Cucchiara, Rita
Egocentric video personalization in cultural experiences scenarios
2015-01-01 Varini, Patrizia; Serra, Giuseppe; Cucchiara, Rita
Enforcing interaction and cooperation in content-based web3.0 applications
2012-01-01 Bevacqua, A.; Carnuccio, M.; Cuzzocrea, A.; Ortale, R.; Ritacco, E.
Entanglement of Conceptual Entities in Quantum Model Theory (QMod)
2012-01-01 Aerts, Diederik; Sozzo, Sandro
Entanglement Zoo I: Foundational and Structural Aspects
2014-01-01 Aerts, Diederik; Sozzo, Sandro
Epistemic Logic Programs: A Study of Some Properties
2022-01-01 Costantini, S.; Formisano, A.
An Exploration of Teachers' Perspective About the Learning of Iteration-Control Constructs
2019-01-01 Scapin, Emanuele; Mirolo, Claudio
An Exploratory Investigation on High-School Students' Understanding of Threads
2023-01-01 Scapin, Emanuele; Dalla Pozza, Nicola; Mirolo, Claudio
The expressive power of structural operational semantics with explicit assumptions
1994-01-01 Miculan, Marino
Extending$$mathcal ALC$$ with the Power-Set Construct
2019-01-01 Giordano, L.; Policriti, A.
The extension of an actor language from domain-specific requirements
1998-01-01 Cerri, Stefano A.; Dattolo, Antonina; Loia, Vincenzo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile